Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
181	Selectivity Estimation for Fuzzy String Predicates in Large Data Sets∗ Liang Jin Chen Li Add to Reading List Source URL: flamingo.ics.uci.edu Language: English - Date: 2013-04-16 21:54:23 Dynamic programming Quantitative linguistics Formal languages SQL keywords Query optimization SQL Extensible Storage Engine Levenshtein distance XPath String Where FO
182	Genome Informatics 13: 3–A String Pattern Regression Algorithm and Its Application to Pattern Discovery in Long Introns Add to Reading List Source URL: www.jsbi.org Language: English - Date: 2002-12-09 05:53:37 Formal languages Pattern matching String searching algorithm Regular expression Intron String Suffix tree Substring Teiresias algorithm Pattern language
183	Safety to the Weak! Security Through Feebleness: An Unorthodox Manifesto Rick McGeer, US Ignite Outline Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:40:05 Hardware description languages Turing machine Formal methods Theoretical computer science Verilog VHDL Turing completeness NP Formal verification High-level synthesis Verilog-AMS
184	Curriculum Vitae Vassilis Zikas Assistant Professor, RPI Rensselaer Polytechnic Institute Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2016-01-14 21:49:00 Formal sciences Eurocrypt Ueli Maurer Cryptography International Colloquium on Automata Languages and Programming Theory of Cryptography Conference Jonathan Katz Theoretical computer science International Cryptology Conference LOKI
185	“Tagging Speech Data” Constraint Grammar Analysis of Spoken Portuguese Eckhard Bick e-mail: web-site: http://visl.hum.ou.dk/ Abstract Add to Reading List Source URL: visl.sdu.dk Language: English - Date: 2005-05-31 07:19:49 Grammar Syntax Corpus linguistics Formal languages Dependency grammar Natural language parsing Constraint Grammar Parsing Phrase structure rules Argument Part-of-speech tagging Portuguese personal pronouns
186	Formalization and the Objects of Logic Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:18 Syntax Propositional calculus Predicate logic Formal languages Philosophy of language First-order logic Well-formed formula Proposition Interpretation Sequent Atomic formula Logic
187	Course Syllabus: CS 150: The Theory of Automata and Formal Languages Winter, 2016 Course Description: The course introduces some fundamental concepts in automata theory and formal languages including grammar, finite auto Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2016-01-11 17:41:16
188	arXiv:1603.04351v1 [cs.CL] 14 Mar 2016 Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-03-14 20:36:50 Artificial neural networks Artificial intelligence Compiler construction Parsing Deep learning Word embedding Recurrent neural network Formal languages LL parser LR parser
189	Parsing Coordinations ¨ Sandra Kubler Indiana University Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2009-04-22 13:37:26 Natural language parsing Compiler construction Formal languages Parsing Coordination Statistical parsing Context-free grammar Chart parser Shallow parsing Treebank LL parser
190	Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2010-10-18 00:06:19 Software engineering Theoretical computer science Computing Logic in computer science Formal methods Programming language semantics Control flow Eval Functional languages Operational semantics Robert Bruce Findler Racket

UPDATE